From eff691edc0cb3de7725212624749f8e3c3d7a8cd Mon Sep 17 00:00:00 2001
From: "kaf24@firebug.cl.cam.ac.uk" <kaf24@firebug.cl.cam.ac.uk>
Date: Fri, 15 Sep 2006 11:04:41 +0100
Subject: [PATCH] [HVM] Remove a useless header file include in hvm.c
 Signed-off-by: Xin Li <xin.b.li@intel.com>

---
 xen/arch/x86/hvm/hvm.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/xen/arch/x86/hvm/hvm.c b/xen/arch/x86/hvm/hvm.c
index 0a7aa015d4..72799aa8ae 100644
--- a/xen/arch/x86/hvm/hvm.c
+++ b/xen/arch/x86/hvm/hvm.c
@@ -337,7 +337,6 @@ int cpu_get_interrupt(struct vcpu *v, int *type)
     return -1;
 }
 
-#include <asm/hvm/vmx/vmx.h>
 void hvm_hlt(unsigned long rflags)
 {
     struct vcpu *v = current;
-- 
2.30.2